On Behavioural Subtyping in LOTOS
نویسندگان
چکیده
We consider how the OO notion of subtyping relates to lotos testing theory. In particular, we investigate which of the standard lotos preorders is a suitable instantiation of behavioural subtyping and argue that each of the main preorders, trace preorder, trace extension, reduction and extension, is in some way deecient. Then, in the light of pre and post condition based models of OO subtyping, we rework the basic interpretation applied to lotos behaviour descriptions. We argue that this re-interpretation enables reduction to be used as an instantiation of behavioural subtyping.
منابع مشابه
Patterns and Rules for Behavioural Subtyping
Subtyping relations for object-oriented formalisms describe relationships between superand subclasses which satisfy the substitutability requirement imposed on types and their subtypes. Behavioural subtyping is concerned with subtypes for active classes with an explicit dynamic behaviour, specifiable for instance by object-oriented formal methods combining state-based with behavioural formalism...
متن کاملBehavioural Subtyping and Property Preservation for Objects Oriented Formalisms
Behavioural typing and subtyping has proved to be a very useful concept for the support of incremental reuse in the area of object-oriented (O-O) languages. With the emergence of formalisms integrating the O-O approach and concurrency, the question arises how behavioural subtyping may be supported by such formalisms. We present a formal framework for the definition of behavioural subtyping in O...
متن کاملBehavioural Subtyping in Name Passing Synchronisation Trees
We present a general theory of behavioural subtyping for name passing interactive behaviours using early name-passing synchronisation trees. In this theory types are collections of name passing synchronisation trees organised by typed variants of process-theoretic operations, and a simple behavioural notion of subtyping speciies when one type denotes more constrained behaviours than another, oo...
متن کاملA Coalgebraic Semantics of Subtyping
Coalgebras have been proposed as formal basis for the semantics of objects in the sense of object-oriented programming. This paper shows that this semantics provides a smooth interpretation for subtyping, a central notion in object-oriented programming. We show that different characterisations of behavioural subtyping found in the literature can conveniently be expressed in coalgebraic terms. W...
متن کاملBehavioural Subtyping Relations for Object-Oriented Formalisms
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OO-formalisms is closely related to the concept of inheritance. The central issue in the choice of subtyping relations among classes is the principle of substitutability: an instance of the subtype should be usable wherever an instance of the supertype was expected. Depend...
متن کامل